void printAAT(AATstatement body);
void setAATIndent(int newIndent);

// temporary only expression printing
void printAATexp(AATexpression exp);
